Minimisation of event structures

Event structures are fundamental models in concurrency theory, providing a representation of events computation and their relations, notably concurrency, conflict causality. In this paper we present theory minimisation for event structures. Working class that generalises many stable structure the literature (e.g., prime, asymmetric, flow bundle structures), study notion behaviour-preserving quotient, referred to as folding, taking (hereditary) history-preserving bisimilarity reference behavioural equivalence. We show any folding producing uniquely determined minimal quotient always exists. observe each can be seen prime structure, all foldings between general arise from (suitably defined) corresponding This gives special relevance structures, which studied detail. identify conditions asymmetric also admit unique (while is not case various other models).